منابع مشابه
RR-92-30-axiom.dvi
Various feature descriptions are being employed in logic program ming languages and constrained based grammar formalisms The com mon notational primitive of these descriptions are functional attributes called features The descriptions considered in this paper are the possi bly quanti ed rst order formulae obtained from a signature of binary and unary predicates called features and sorts respect...
متن کاملResearch Record, RR-98
C&T Research Record is published by the Michigan Department of Transportation’s Construction and Technology Division New quality control and assurance standards are being implemented in many industries across the country. The new standards will enable government agencies to base specifications on measured values and statistical principles rather than average measured values alone. Specification...
متن کاملResearch Record, RR-102
Since the 1950’s, prestressed concrete beams have become a factor in almost one third of all new bridge construction in the United States. In Michigan, prestressed concrete was introduced in 1954 and the first prestressed concrete side-by-side box-beam bridge was built in 1955. Pontis data indicates 2,054 side-by-side prestressed concrete box-beam bridges in Michigan; 236 are part of the Nation...
متن کاملRr Xx-xx
The growing availability of low-power sensors, microprocessors, and transmitters makes it increasingly attractive to use distributed sensor networks for track-health monitoring. Widespread implementation of these networks will require robust and low-maintenance methods for powering the electronics. This research investigates two principal methods of harvesting mechanical power from passing rail...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of High Energy Physics
سال: 2011
ISSN: 1029-8479
DOI: 10.1007/jhep09(2011)110